Free shipping on all orders! No minimum purchase required.
Software Engineering and Formal Methods
by Domenico Bianculli (Editor), Radu Calinescu (Editor), Bernhard Rumpe (Editor)
